“Not-All-Equal 3-SAT”